formal logic中文是什么意思

• 形式逻辑

• formal    adj. 1.正式的。 2.礼节上的，仪式上的；郑重其事 ...
• logic    n. 1.逻辑，理论学。 2.推理[方法]；逻辑性，条理 ...
• formal logic inference    形式逻辑推理
• formal logic thinking    形式逻辑思维
• formal system of logic    逻辑形式系统
• the basic laws of formal logic    形式逻辑的基本规律
• notre dame journal of formal logic    圣母院形式逻辑学杂志
• formal    adj. 1.正式的。 2.礼节上的，仪式上的；郑重其事的。 3.形态的，外形的；形式上的；拘泥形式的，刻板的。 4.布置整齐的，有条理的。 5.正规的，合乎规格的。 6.【语言】规范化的，书面语的，正规的〔非俗语、俚语的〕。 a formal receipt 正式收据。 a formal call 正式访问。 a formal manner 郑重其事的态度。 formal logic 形式逻辑。 a formal resemblance 外形上的类似。 formal obedience 表面服从。 n. 1.〔美国〕须穿礼服的社交集会。 2.〔口语〕夜礼服。 go formal 〔口语〕穿夜礼服。 n. -ness
• -logic    -logic, -logical 〔构成与 -logy 结尾的名词相应的形容词〕表示“…学的”： biological, philological.
• and logic    “与”逻辑
• logic    n. 1.逻辑，理论学。 2.推理[方法]；逻辑性，条理性。 3. 威力，压力，强制(力)。 deductive [inductive] logic演绎[归纳]逻辑。 dialectical logic辩证逻辑。 formal logic形式逻辑。 a gangster logic强盗逻辑，恶徒的歪理[言行]。 mathematical logic数理逻辑。 pure logic纯粹逻辑。 He is not governed by logic. 他没有逻辑性。 That is not logic. 那不合逻辑。 the irresistible logic of facts 事实的不可抗拒的威力。 the logic of events [war] 事件[战争]的强制力。 His logic is shaky. 他的推理站不住脚。 chop logic 诡辩。
• logic-and    逻辑“与”
• or logic    或逻辑
• formal culture [= formal discipline    形式陶冶
• a formal garden    整齐的传统式花园
• a formal occasion    正式场合
• character formal    格式字符
• defect, formal    形式上的瑕疵
• dichlorodiethyl formal    二氯二乙基缩甲醛
• formal 1    公事公办的; 礼节性的; 文绉绉的
• formal = spiffy    正式的
• formal acceptance    形式上承认; 正式接受; 正式验收
• formal accuracy    形式精度
• formal act    正式行为
• formal address    形式地址

• You arrived at your conclusion using the methods of formal logic .
  你这个结论是按照形式逻辑的方法推论出来的。
• Tautology , basic laws of formal logic and semi - paradox of logic
  逻辑规律与准逻辑悖论
• Popularization and research of formal logic : studies in logic teaching
  兼论逻辑学的教学实践
• Foundations laid by kant ' s transcendental logic for the formal logic
  康德先验逻辑对形式逻辑的奠基
• Cultivation of criticizing thinking and development of non - formal logic
  批判性思维培养与非形式逻辑发展
• Highlights of the year 2003 symposium held by the formal logic special committee of the chinese society for studying logic
  中国逻辑学会形式逻辑专业委员会2003年学术研讨会概述
• These questions do not test the rote recall of facts from outside the passage , isolated vocabulary items , or rules of formal logic
  这些题不用文章之外去死记硬背独立的词汇和逻辑关系。
• It is needed to transform sn to pn for reasoning with pn : sn is transformed to formal logic ( fl ) in the first step
  用petri网进行推理，需要把语义网络转化成petri网，本文用形式逻辑做二者的纽带。
• The negative relation plays the same role with the positive relation from the view of the mathematics and formal logic
  从数学、形式逻辑等学科技术中也容易看出，负关系所起的作用与正关系一样重要。
• Finally , we carried out the theoretically logical proof of the security of the revised protocol , using the formal logic analysis method
  最后，作者运用形式逻辑分析的方法对修改后协议的安全性进行了理论上的逻辑证明。

• formal logicとは意味：formal logic 形式論理 けいしきろんり